1. Proofs and types
پدیدآورنده : / Jean-Yves Girard
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Proof theory,Logic, Symbolic and mathematical,Type theory
رده :
E-BOOK